exception E of int * string

try () with E{caret} _ -> ()
